faf814387a131feb28882625ca3a14a64340650c,modules/wyil/src/wyil/builders/VerificationConditionGenerator.java,VerificationConditionGenerator,translateAssert,#Location#Context#,452
In pattern: SUPERPATTERN
Frequency: 3
Non-data size: 2
Instances
1469562585
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,faf814387a131feb28882625ca3a14a64340650c,modules/wyil/src/wyil/builders/VerificationConditionGenerator.java,VerificationConditionGenerator,translateAssert,#Location#Context#,452
1467928778
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,6d7cc08d27fd6764d747d8cabeec0b0f99b7ee46,modules/wyjc/src/wyjc/Wyil2JavaBuilder.java,Wyil2JavaBuilder,translateFieldLoad,#SyntaxTree.Operator#Context#,1584
1480459236
fabrice.tiercelin@gmail.com
JnRouvignac/AutoRefactor,7a8466b0229eb359caf0953a638e811ef0281ae9,plugin/src/main/java/org/autorefactor/refactoring/rules/CollectionRefactoring.java,CollectionRefactoring,visit,#IfStatement#,396